根的存在定理的推广及其应用

众所周知，在《数学分析》中会遇到连续函数的一个重要定理，即根的存在定理，此定理对方程根的存在性判别起着重要作用.将这方面已有的定理进行推广，并用例题说明其应用情况.     

农村厨余垃圾处理的特征性技术：问题及改进途径

 厨余垃圾已成为法定分类处理的垃圾组分。农村厨余垃圾产生点分散，适合就近处理和产物就地利用，实现有机质还田和植物养分循环。因此，农村厨余垃圾的处理方式区别于城市。中国通过实践已形成了一系列特征性的农村厨余垃圾处理技术。采用实地调查的方法，结合技术原理，分析了这些处理技术存在的原料预处理、转化条件和产物利用问题，提出了针对性改进建议。     

I ain’t afraid of no ghost

This paper criticizes the traditional philosophical account of the quantization of gauge theories and offers an alternative. On the received view, gauge theories resist quantization because they feature distinct mathematical representatives of the same physical state of affairs. This resistance is overcome by a sequence of ad hoc modifications, justified in part by reference to semiclassical electrodynamics. Among other things, these modifications introduce ”ghosts”: particles with unphysical properties which do not appear in asymptotic states and which are said to be purely a notational convenience. I argue that this sequence of modifications is unjustified and inadequate, making it a poor basis for the interpretation of ghosts. I then argue that gauge theories can be quantized by the same method as any other theory. On this account, ghosts are not purely notation: they are coordinates on the classical configuration space of the theory—specifically, on its gauge structure. This interpretation does not fall prey to the standard philosophical arguments against the significance of ghosts, due to Weingard. Weingard’s argumentative strategy, properly applied, in fact tells in favor of ghosts’ physical significance.     

Ordinary language philosophy,explanation, and the historical turn in philosophy of science

Taking a cue from remarks Thomas Kuhn makes in 1990 about the historical turn in philosophy of science, I examine the history of history and philosophy of science within parts of the British philosophical context in the 1950s and early 1960s. During this time, ordinary language philosophy's influence was at its peak. I argue that the ordinary language philosophers' methodological recommendation to analyze actual linguistic practice influences several prominent criticisms of the deductive-nomological model of scientific explanation and that these criticisms relate to the historical turn in philosophy of science. To show these connections, I primarily examine the work of Stephen Toulmin, who taught at Oxford from 1949 to 1954, and Michael Scriven, who completed a dissertation on explanation under Gilbert Ryle and R.B. Braithwaite in 1956. I also consider Mary Hesse's appeal to an ordinary language-influenced account of meaning in her account of the role of models and analogies in scientific reasoning, and W.H. Watson's Wittgensteinian philosophy of science, an early influence on Toulmin. I think there are two upshots to my historical sketch. First, it fills out details of the move away from logical positivism to more historical- and practice-focused philosophies of science. Second, questions about linguistic meaning and the proper targets and aims of philosophical analysis are part and parcel of the historical turn, as well as its reception. Looking at the philosophical background during which so-called linguistic philosophers also had a hand in bringing these questions to prominence helps us understand why.     

Divergence of values and goals in participatory research

Public participation in scientific research has gained prominence in many scientific fields, but the theory of participatory research is still limited. In this paper, we suggest that the divergence of values and goals between academic researchers and public participants in research is key to analyzing the different forms this research takes. We examine two existing characterizations of participatory research: one in terms of public participants' role in the research, the other in terms of the virtues of the research. In our view, each of these captures an important feature of participatory research but is, on its own, limited in what features it takes into account. We introduce an expanded conception of norms of collaboration that extends to both academic researchers and public participants. We suggest that satisfying these norms requires consideration of the two groups' possibly divergent values and goals, and that a broad characterization of participatory research that starts from participants' values and goals can motivate both public participants’ role in the research and the virtues of the research. The resulting framework clarifies the similarities and differences among participatory projects and can help guide the responsible design of such projects.     

毛乌素沙地上空沙尘暴的前向轨迹及其影响范围

基于气象数据、MODIS遥感影像数据和NCEP再分析资料, 利用HYSPLIT模型模拟2000—2019年毛乌素沙地上空不同海拔高度(500, 1000和1500 m)各季节沙尘暴的前向轨迹, 并与遥感影像识别出的沙尘信息进行比较, 识别毛乌素沙地沙尘暴的影响范围。结果显示: 1) 在过去的20年中, 共有143个沙尘暴月和387个沙尘暴日, 并且 2004 年以来, 毛乌素沙地发生沙尘暴的频率逐渐降低; 2) 季节性气候条件对毛乌素沙地沙尘暴的移动路径有很大的影响, 春季沙尘暴发生频率较高, 秋季发生频率最低; 3) 受毛乌素沙地沙尘暴影响的国内地区主要包括陕西省北部、山西省北部、河北省北部和中部、山东省北部和中部、北京市、天津市、内蒙古自治区东部以及东北三省, 国外受影响的地区有朝鲜、日本北部以及俄罗斯与我国交界处, 受影响的海域有渤海、黄海北部和日本海西北部。遥感影像与HYSPLIT模型的比较提供了一种对沙尘运输、扩散和沉积过程进行验证和加深了解的有效工具, 研究结果可以为防灾减灾决策及沙源地治理提供科学的参考依据。     

Quantum reality: A pragmaticized neo-Kantian approach

Despite remarkable efforts, it remains notoriously difficult to equip quantum theory with a coherent ontology. Hence, Healey (2017, 12) has recently suggested that “quantum theory has no physical ontology and states no facts about physical objects or events”, and Fuchs et al. (2014, 752) similarly hold that “quantum mechanics itself does not deal directly with the objective world”. While intriguing, these positions either raise the question of how talk of ‘physical reality’ can even remain meaningful, or they must ultimately embrace a hidden variables-view, in tension with their original project. I here offer a neo-Kantian alternative. In particular, I will show how constitutive elements in the sense of Reichenbach (1920) and Friedman (1999, 2001) can be identified within quantum theory, through considerations of symmetries that allow the constitution of a ‘quantum reality’, without invoking any notion of a radically mind-independent reality. The resulting conception will inherit elements from pragmatist and ‘QBist’ approaches, but also differ from them in crucial respects. Furthermore, going beyond the Friedmanian program, I will show how non-fundamental and approximate symmetries can be relevant for identifying constitutive principles.     

基于自注意力机制的科技术语自动提取技术研究

科技术语提取是科技术语自动处理的重要环节,对后续的机器翻译、信息检索、QA问答等任务有重要意义。传统的人工科技术语提取方法耗费大量的人力成本。而一种自动提取科技术语方法是将术语提取转化为序列标注问题,通过监督学习方法训练出标注模型,但是面临缺乏大规模科技术语标注语料库的问题。文章引入远程监督的方法来产生大规模训练标注语料。另外又提出基于自注意力机制的Bi-LSTM的模型架构来提高科技术语提取结果。发现新模型在发现新的科技术语的能力上远远优于传统机器学习模型(CRF)。     

低维显式语义空间下的语义关联度计算方法

语义关联度计算是数据科学中的一个关键性基础问题,在信息检索及自然语言处理等方面有着广泛的应用.针对ESA (Explicit Semantic Analysis)算法存在的局限性,提出一种显式语义特征选择算法,并构建低维语义空间.在此基础上,根据特征概念在Wikipedia中的映射信息,提出一种低维显式语义空间下的语义关联度计算方法.该方法解决了ESA算法在后续语义关联度计算过程中,因高维稀疏空间导致计算效果不够准确的问题.实验结果表明,与当前其他方法相比,该方法的计算结果在皮尔逊相关系数(P)及斯皮尔曼相关系数(S)上与人们的认知判断之间具有更好的一致性.     

“百病生于气”疾病观的针灸临床应用

 “百病生于气”见于《素问·举痛论》，几千年来始终是中医临床认识疾病、防治疾病的重要理论依据之一。对气的含义及气机失调致病的机制进行了梳理，得出了“百病生于气”的基本含义可以概括为气机失调是疾病发生的基本病机的结论，情志因素、精神心理是导致疾病发生的重要内因。分析认为“百病生于气”的理论对于针灸临床有重要指导意义，针灸诊疗过程中应注重“调气”“调神”，这是针灸取得佳效的根本保障。